discrete interval theorem

分立间隔定理